<?php
/**
 * Created by PhpStorm.
 * User: dell
 * Date: 2019/1/28
 * Time: 19:48
 */

session_start();
$session_name=$_SESSION['name'];
